منابع مشابه
Dismatching and Local Disunification in EL
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic EL to disunification since negative constraints on unifiers can be used to avoid unwanted unifiers. While decidability of the solvability of general EL-disunification problems remains an open problem, we o...
متن کاملDismatching and Local Disunification in EL (Extended Abstract)
Formally, these expressions are not equivalent, but they are nevertheless meant to represent the same concept. They can obviously be made equivalent by treating the concept names Head_injury and Severe_finding as variables, and substituting them by Injuryu∃finding_site.Head and ∃severity.Severe, respectively. In this case, we say that the concepts are unifiable, and call the substitution that m...
متن کاملEl Cerebelo En El Autismo
Autism is considered as a neurodevelopmental disorder which affects boys more than girls, in a proportion 4:1 respectively. Autism presents neuroanatomical abnormalities located in the frontal cortex, the amygdala and the cerebellum. Autistic cerebellar postmortem studies have revealed a reduced number of Purkinje cells as well as a reduced Purkinje cell size when compared with non-autistic sub...
متن کاملInfluence of cutting height and plant spacing on Sesbania (Sesbania aegyptiaca [Poir]) productivity under hyper-arid conditions in El-kharga Oasis, El-Wadi El-Gaded, Egypt
Search for an adapted forage species for feed production under existing marginal lands and harsh conditions is needed to overcome sever feed shortage in Egypt. Sesbania, Sesbania aegyptiaca (Sesbania sesban, L) has shown potential for forage production and being included in grazing systems, especially on marginal lands and salt–affected soils. An experiment was conducted in the summer of 2004 a...
متن کاملمباحثی در el- ابرساختارها
در این پایان نامه یکی از راه های ساختن ابرساختارها توسط ساختارهای جبری بررسی می شود. با استفاده از مفهوم "لم پایانی " از روی (نیم) گروه مرتب (جزئی) به (نیم) ابرگروه خواهیم رسید و به این ابرساختار، el-ابرساختار گوییم. ابتدا به بررسی اعضای همانی و معکوس در el-ابرساختارها پرداخته و سپس به ارتباط بین زیرساختارهای گروه مرتب و el-زیرابرساختارها با مفهومی به نام "انتهای فوقانی" می پردازیم. در ادامه به...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Revista de Estudios de la Administración Local y Autonómica
سال: 1943
ISSN: 1989-8975,1699-7476
DOI: 10.24965/reala.vi9.3908